Un portaaviones estadounidense llegó a Corea del Sur por primera vez en unos cuatro años, para unirse a los buques surcoreanos en una demostración de fuerza militar destinada a enviar un mensaje a Corea del Norte, dijeron las autoridades.